Well-formed formula - PDFSEARCH.IO - Document Search Engine

Well-formed formula
Results: 322

#	Item
131	Quantification over events in probability logic and its applications to elementary analysis Stanislav O. Speranski Probably the most popular formal language in the philosophy of mathematics is that of the second order ar Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-07 12:35:07 Metalogic Computational complexity theory Proof theory Descriptive complexity Finite model theory Quantification Model theory Decidability Well-formed formula Logic Theoretical computer science Mathematical logic
132	National Emergency Grant (NEG) Program Dislocated Worker Training (DWT) NEG Electronic Application System (eSystem) User Guide Complete applications must be received by COB June 7, 2013 to be considered for funding. Add to Reading List Source URL: doleta.gov Language: English - Date: 2013-05-29 09:17:31 Metalogic Well-formed formula Automated theorem proving Logic Mathematical logic Logical syntax
133	The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 PDL WITH INTERSECTION AND CONVERSE: SATISFIABILITY AND INFINITE-STATE MODEL CHECKING Add to Reading List Source URL: www.informatik.uni-leipzig.de Language: English - Date: 2008-01-18 08:51:04 Mathematics Μ operator Symbol Well-formed formula Boolean satisfiability problem Model theory Linear temporal logic Theoretical computer science Logic Metalogic
134	Exogenous Semantics Approach to Enriching Logics Paulo Mateus, Amílcar Sernadas, and Cristina Sernadas Abstract. The exogenous semantics approach to enriching a logic consists in defining each model in the enrichment as Add to Reading List Source URL: centria.di.fct.unl.pt Language: English - Date: 2009-09-27 08:27:05 Non-classical logic Philosophical logic Modal logic Kripke semantics Quantum logic Probabilistic logic Propositional variable Well-formed formula Valuation Logic Mathematical logic Propositional calculus
135	ANNAUOF PUREAND APPLIEDLOGIC EISBVIER Annals of Pure and Applied Logic[removed]299 Add to Reading List Source URL: www.ihes.fr Language: English - Date: 2009-09-10 07:50:35 Cut-elimination theorem Sequent First-order logic Linear logic Craig interpolation Structural rule Propositional calculus Rule of inference Well-formed formula Logic Mathematical logic Proof theory
136	The "Hoare Logic" of CSP, and All That LESLIE LAMPORT SRI International and FRED B. SCHNEIDER Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 10:44:16 Program logic Concurrent computing Hoare logic Logic programming Communicating sequential processes Modal logic KeY Guarded Command Language Well-formed formula Logic Theoretical computer science Mathematics
137	DOC Document Add to Reading List Source URL: www.calculemus.org Language: English - Date: 2001-11-06 03:27:00 Automated theorem proving Method of analytic tableaux Predicate logic Symmetric functions Modal logic Lambda calculus Well-formed formula Function Term Mathematics Logic Mathematical logic
138	Modelling Combinatorial Auctions in Linear Logic Add to Reading List Source URL: www.danieleporello.net Language: English - Date: 2012-12-06 05:17:38 Metalogic Proof theory Philosophical logic Linear logic Auction Sequent calculus If and only if Well-formed formula Entailment Logic Binary operations Logical syntax
139	A variant of the double-negation translation∗ Jeremy Avigad August 21, 2006 Abstract An efficient variant of the double-negation translation explains the Add to Reading List Source URL: www.hss.cmu.edu Language: English - Date: 2006-10-02 14:57:52 Model theory Formal languages Semantics Proof theory Dialectica interpretation Interpretation Intuitionistic logic First-order logic Well-formed formula Logic Mathematical logic Intuitionism
140	TechReportVers.trudocs.dvi Add to Reading List Source URL: ecommons.library.cornell.edu Language: English - Date: 2009-10-05 21:05:43 Logical syntax Metalogic Well-formed formula Logic programming Predicate Forcing Modal logic New American Library Logic Mathematical logic Philosophical logic

UPDATE